?[$x$] $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Case $x$ of inl($y$) $\Rightarrow$ $y$.nil ; inr($y$) $\Rightarrow$ nil